w{-}atom{-}constraint($w$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$True